|
|
Indikátor bouřek
Studený, Pavel ; Sekora, Jiří (oponent) ; Chmelař, Milan (vedoucí práce)
Cílem této bakalářské práce je teoretický rozbor bouřek, blesků a jejich detekcí. Teoretický popis poté postupně přechází k navržení vlastního detektoru. Detektor bude pracovat tak, že při bleskové aktivitě zachytí impulzy, které bleskové výboje generují. Blesky se budou registrovat pomocí připojeného čítače. Po skončení bouře bychom mohli díky informacím z čítače vyhodnotit, jak silná bouře byla.
|
|
|
Vliv bouřkové elektřiny na leteckou dopravu
Fiala, Ľuboš ; Imriš, Pavel (oponent) ; Krška, Karel (vedoucí práce)
Bakalárska práca je zameraná na objasnenie problematiky búrkovej elektriny ako sprievodného javu kumulonimbu. Venuje sa vývoju, typom, štruktúre a štádiam búrkovej oblačnosti, ako aj vzniku elektrického výboja a zriedkavých elektrometeorov. Ďalej sa zaoberá spôsobmi predpovedí a lokalizácie bleskov a ich vplyvmi na leteckú dopravu a stanovenými postupmi počas letu v búrkach.
|
|
|
Indikátor bouřky (indikátor blesků)
Trávníček, Tomáš ; Rampl, Ivan (oponent) ; Chmelař, Milan (vedoucí práce)
Cílem této Bakalářské práce je získání znalostí z oblasti bouřky, její projevů, detekce skrze tyto projevy a následně s pomocí takto získaných znalostí navrhnout jednoduchý indikátor bouřky (blesků), který bude pracovat na principu počítání blesků. Ke zpracování návrhu bude využito jednoduchých principů a elektronických součástek. Výsledkem celé práce je zhotovení funkčního vzorku indikátoru.
|
|
| |
|
|
Výskyt bouřek na území ČR
Kovář, Jan ; Krška, Karel (oponent) ; Jebáček, Ivo (vedoucí práce)
Tato bakalářská práce je zaměřena na bouřkové situace na území České republiky a popis jejich vzniku v období 1961-2020. Analyzuje podmínky vzniku a výskytu bouřek, popisuje bouřkovou činnost na letištích Karlovy Vary, Praha-Ruzyně, Brno-Tuřany a Ostrava-Mošnov v období 2001-2020. Marginálně se zmiňuje o jevech doprovázejících bouřku, podmínkách jejím průletem a způsobech detekce.
|
|
|
Generování protipříkladů při analýze Markovových modelů
Molek, Martin ; Matyáš, Jiří (oponent) ; Češka, Milan (vedoucí práce)
Tato práce se zabývá generováním protipříkladů v kontextu verifikace pravděpodobnostních systémů. Protipříklady jsou generovány nad Markovovými modely (přesněji DTMC). Specifikace vlastností modelu jsou zadávány pomocí logiky PCTL, která je v této práci popsána. Pro generování protipříkladů byly použity dva různé algoritmy (Best-first search a Recursive Enumration Algorithm). Práce obsahuje popis implementace algoritmů do verifikačního nástroje STORM. Výsledky experimentů ukazují, že REA je schopen pracovat s modely obsahující miliony stavů.
|
|
|
Návrh a konstrukce měřicí aparatury pro výzkum blesků
Kirsanov, Ivan ; Krajsa, Ondřej (oponent) ; Roubal, Zdeněk (vedoucí práce)
Tato bakalářská práce se zabývá návrhem měřiče elektrostatického pole ve volné krajině. Teoretická část je věnována teorii vzniku elektrostatického pole. V teoretické části jsou také popsány ověřené metody měření. Praktická část semestrální práce je zaměřena na teoretický návrh měřicího přístroje, praktický výběr součástek a zdůvodnění. Součástí práce je blokové schéma zapojení.
|
|
|
Efektivní analýza stochastických biochemických systémů
Tušimová, Lucia ; Hruška, Martin (oponent) ; Češka, Milan (vedoucí práce)
Cieľom tejto práce je zefektívniť výpočet biochemických reakčných sietí. Na modelovanie biochemických systémov pomocou numerických metód sa používajú Markovove reťazce v spojitom čase. Problémom pri biochemických reakciách je vznik nezvládnuteľného množstva stavov. Metóda rýchlej adaptívnej uniformizácie rieši tento problém za cenu malej zaokrúhľovacej chyby. Táto metóda bola implementovaná v nástroji STORM, ktorý slúži na analýzu systémov obsahujúcich pravdepodobnostné javy. Následne bola efektivita tejto metódy overená na sade experimentov.
|
|
|
Uplatnění metod lineárního programování při řešení dopravních úloh
Charousová, Kateřina
Cílem diplomové práce je vytvoření nových optimalizovaných distribučních tras konkrétního podniku se snahou o minimalizaci nákladů na distribuci zboží. V teoretické části práce jsou popsány základní pojmy a metody vztahující se k této problematice. V praktické části práce je řešena samotná optimalizace distribuční sítě, převážně pomoci Mayerovy metody a programu STORM, a taktéž je věnována pozornost optimálnímu umístění nového skladu na území Čech. Získané výsledky jsou vždy porovnány s původním, případně s jiným optimalizovaným řešením.
|
|
| |
host ::
RSS.